University of Ulster at Jordanstown - Improvement of generic tools used in the design of dynamic systems, Applications in the formalization of devices and protocols in Business and Industry, Verification of behavioural properties of systems.
Faculty of Informatics: School of Computing and Mathematical Sciences. Jordanstown and Magee campuses. Research areas include: AI; Information engineering; Internet technology; Medical informatics; Software engineering.